أحتاج إلى كتابة برنامج في Prolog يجب أن يزيل كل عنصر ثانٍ من القائمة. يجب أن يعمل هذا: [1،2،3،4،5،6،7] -> [1،3،5،7] لدي هذا حتى الآن ، لكنه يعرض فقط "خطأ". ص ([] ، []). r ([H | [T1 | T]]، R): - del (T1، [H [T1 | T]]، R)، r (R). ديل (X ، [X | L] ، L). del (X، [Y | L]، [Y | L1]): - del (X، L، L1).
2021-01-06 08:20:45
هذا إلى حد كبير إجابة لاندي في صيغة برولوج محددة:
ص ([] ، []).
ص ([X] ، [X]).
r ([X، _ | Xs]، [X | Ys]): - r (Xs، Ys).
المسند الثاني غير مطلوب.
|
حل بديل باستخدام foldl / 4:
fold_step (العنصر ، صواب: [العنصر | الذيل] ، خطأ: الذيل).
fold_step (_Item، false: Tail، true: Tail).
فردي (قائمة ، فردي): -
foldl (fold_step، List، true: Odd، _: []).
استعمال:
؟ - فردي ([1 ، 2 ، 3 ، 4 ، 5 ، 6 ، 7] ، فردي).
الفردي = [1، 3، 5، 7]
تكمن الفكرة في استعراض القائمة ، مع الاحتفاظ بعلم "فردي / زوجي" وتقليب قيمته (خطأ -> صحيح ، صحيح -> خطأ) على كل عنصر. نقوم أيضًا ببناء القائمة تدريجيًا ، من خلال إلحاق العناصر التي لها علامة "فردية / زوجية" تساوي علامة true ، وتخطي العناصر الأخرى.
|
هذه الإجابة الدقيقة بواسطة @ code_x386 تستخدم قوائم الفروق و foldl / 4.
دعنا نستخدم جملة fold_step / 3 واحدة ونجعل العلاقة أكثر عمومية ، مثل:
fold_step (X، [X | Xs] + Ys، Ys + Xs).
list_odds_evens (قائمة ، احتمالات ، تساوي): -
أضعاف (fold_step، List، Odds + Evens، [] + []).
استعلامات عينة:
؟ - list_odds_evens ([a، b، c، d، e، f]، Odds، Evens).
يساوي = [ب ، د ، و] ، احتمالات = [أ ، ج ، هـ]
؟ - list_odds_evens ([a، b، c، d، e، f، g]، Odds، Evens).
يساوي = [b ، d ، f] ، الاحتمالات = [a ، c ، e ، g]
تعديل
لماذا لا تستخدم جملة واحدة أقل وتتخلص من fold_step / 3؟
لامدا للإنقاذ!
: - use_module (مكتبة (lambda)).
list_odds_evens (قائمة ، احتمالات ، تساوي): -
أضعاف (\ X ^ ([X | Xs] + Ys) ^ (Ys + Xs) ^ true ، List ، Odds + Evens ، [] + []).
|
الاحتمال الآخر هو استخدام DCGs ، فهي عادة ما تكون اعتبارًا جديرًا بالاهتمام عند وصف القوائم:
list_oddindices (L، O): -
العبارة (المؤشرات الفردية (L) ، O). ٪ يتم وصف القائمة O بواسطة مؤشرات فردية // 1
المؤشرات الفردية ([]) ->٪ إذا كانت L فارغة
[]. ٪ O فارغ أيضًا
المؤشرات الفردية ([X]) ->٪ إذا كان L يحتوي على عنصر واحد فقط
[X]. ٪ إنه في O
المؤشرات الفردية ([O، _E | OEs]) ->٪ إذا كان رأس L يتكون من عنصرين على الأقل
[س] ، الأول في O
المؤشرات الفردية (OEs). ٪ نفس الشيء يحمل للذيل
هذا بالتأكيد أقل أناقة من الحلول التي تستخدم foldl / 4 ولكن الكود سهل القراءة للغاية ، ومع ذلك فهو يحل المهمة التي وصفها OP ويعمل في كلا الاتجاهين أيضًا:
؟ - list_oddindices ([1،2،3،4،5،6،7] ، O).
O = [1، 3، 5، 7] ؛
خاطئة.
؟ - list_oddindices (L، [1،3،5،7]).
L = [1 ، _G4412 ، 3 ، _G4418 ، 5 ، _G4424 ، 7] ؛
L = [1، _G4412، 3، _G4418، 5، _G4424، 7، _G4430] ؛
خاطئة.
|
ليس لدي برنامج Prolog هنا لتجربته ، وحصلت على صدأ قليلاً ، لكن يجب أن يكون على غرار
ص ([]): - [].
r ([X]): - [X].
r ([X، Y | Z]): - R = r (Z)، [X | R].
[تعديل]
بالطبع الوسادة على حق. سيعمل الحل الخاص بي باللغات الوظيفية مثل Haskell أو Erlang:
- هاسكل
ص [] = []
ص [س] = [س]
ص (س: _: س) = س: (ص س)
في Prolog عليك أن "تسحب" الجوانب اليمنى إلى قائمة الحجج لتحريك الوحدة.
|
اجابتك
StackExchange.ifUsing ("Editor"، function () {
StackExchange.using ("externalEditor"، function () {
StackExchange.using ("snippets"، function () {
StackExchange.snippets.init () ،
}) ؛
}) ؛
}، "مقتطفات الشفرة")؛
StackExchange.ready (الوظيفة () {
var channelOptions = {
العلامات: "" .split ("") ،
المعرف: "1"
} ؛
initTagRenderer ("". split ("")، "" .split ("")، channelOptions) ؛
StackExchange.using ("externalEditor"، function () {
// يجب إطلاق المحرر بعد المقتطفات ، إذا تم تمكين المقتطفات
إذا (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using ("snippets"، function () {
createEditor () ،
}) ؛
}
آخر {
createEditor () ،
}
}) ؛
دالة createEditor () {
StackExchange.prepareEditor ({
useStacks محرر: خطأ ،
النوع: "إجابة" ،
autoActivateHeartbeat: خطأ ،
convertImagesToLinks: صحيح ،
noModals: صحيح ،
showLowRepImageUpload تحذير: صحيح ،
السمعة في PostImages: 10 ،
منع bindNav: صحيح ،
postfix: ""،
imageUploader: {
brandingHtml: "مدعوم من \ u003ca href = \" https: //imgur.com/ \ "\ u003e \ u003csvg class = \" svg-icon \ "width = \" 50 \ "height = \" 18 \ "viewBox = \ "0 0 50 18 \" fill = \ "none \" xmlns = \ "http: //www.w3.org/2000/svg \" \ u003e \ u003cpath d = \ "M46.1709 9.17788C46.1709 8.26454 46.2665 7.94324 47.1084 7.58816C47.4091 7.46349 47.7169 7.36433 48.0099 7.26993C48.9099 6.97997 49.672 6.73443 49.672 5.93063C49.672 5.22043 48.9832 4.61182 48.1414 4.61182C47.4335 4.61182 46.7256 4.916 4.928 46.0943 5.507 4.61182 46.7256 4.916 4.928 46.0943 5.507 4.61189 46.7256 4.928 46.0943.7562 4.61182 43.1481 6.59048V11.9512C43.1481 13.2535 43.6264 13.8962 44.6595 13.8962C45.6924 13.8962 46.1709 13.2535 46.1709 11.9512V9.17788Z \ "/ \ u003e \ u003cpath d = \" M32.492 10.14194C32.47.018 14.695.92 41.5985 12.6954 41.5985 10.1419V6.59049C41.5985 5.28821 41.1394 4.66232 40.1061 4.66232C39.0732 4.66232 38.5948 5.28821 38.5948 6.59049V9.60062C38.5948 10.8521 38.2696 11.5455 37.0451 11.545.55.820 521 35.4954 9.60062V6.59049C35.4954 5.28821 35.0173 4.66232 34.0034 4.66232C32.9703 4.66232 32.492 5.28821 32.492 6.59049V10.1419Z \ "/ \ u003e \ u003cpath fill-rule = \" evenodd \ "clip-rule = \" evenodd \ " = \ "M25.6622 17.6335C27.8049 17.6335 29.373916.9402 30.2537 15.6379C30.8468 14.7755 30.9615 13.5579 30.9615 11.9512V6.59049C30.9615 5.28821 30.4833 4.66231 29.4502 4.66231C28.9913 4.66231 28.4555 4.94978 28.1109 5.50789C27.499 4.86533 25.73.136 4.587.013 C27.499 4.86533 25.73.135 4.587.013 13.913 25.3754 27.4607 13.4902 13.913C26.5612 13.913 28.1109 12.7229 28.1161 12.7799 12.6616C28.1109 28،121 12.8346C28.1256 12.8854 28.1301 12.9342 28.1301 14.4373 27.2502 15.2321 12.983C28.1301 25،777 15.2321C24.8349 15.2321 24.1352 14.9821 23.5661 14.6393 22.8472 14.5218 14.7787C23.176 22.5437 14.5218C21.7977 14.5218 21.2429 15.0123 21.2429 15.6887C21.2429 16.7375 22.9072 17.6335 25.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119109766 28.0918.6622 17.6335ZM24.1317 9.27932C24.1317 7.94324 24.9928 7.09766 26.1024 7.09766C27.2119 7.09766 28.0918.6622 17.6335.2119 7.09766 28.0918 7.932.524 28.0918.2119 7.09766 28.0918 7.932.524 28.0918.2119 7.09766 28.0918 7.932.524 24.10.2119 7.09766 26.1024 7.09766C27.2119 7.09766 28.0918.679.524 11.10.2119 7.09766 28.0918 7.932.524 10.6491 24.1317 9.27932Z \ "/ \ u003e \ u003cpath d = \" M16.8045 11.9512C16.8045 13.2535 17.2637 13.8962 18.2965 13.8962C19.3298 13.8962 19.8079 13.2535 19.8079 11.9512V8.12928C19.8079 5.82936 18.4879 4.62866 16.4027 4.62866C15.1594 4.62866 14.279 4.98375 13.3609 5.88013C12.653 5.05154 11.6581 4.62866 10.3573 8.5206666C9.34806 4.62866 4.883 4.66232 5.00066 5.28821 5.00066 6.59049V11.9512C5.00066 13.2535 5.47873 13.8962 6.51203 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91179C10.5104 8.911.812V 13.8962C7.54479 13.8962 8.0232 13.2535 8.0232 11.9512V8.90741C8.0232 7.58817 8.44431 6.91179 9.53458 6.91179C10.5104 8.911.8103458.91179C10.5104 13.8962C13.4375 13.8962 13.9157 13.2535 13.9157 11.9512V8.90741C13.9157 7.58817 14.3365 6.91179 15.4269 6.91179C16.4027 6.91179 16.8045 7.58817 16.8045 8.94108V11.9512Z \ "/ \ u003e \ u00 \ u16 \" Mcp3.3383388 " 4.66232 1.82471 4.66232C0.791758 4.66232 0.313354 5.28821 0.313354 6.59049V11.9512C0.313354 13.2535 0.791758 13.8962 1.82471 13.8962C2.85798 13.8962 3.31675 13.2535 3.31675 11.9512V6.59 049Z \ "/ \ u003e \ u003cpath d = \" M1.87209 0.400291C0.843612 0.400291 0 1.1159 0 1.98861C0 2.87869 0.822846 3.57676 1.87209 3.57676C2.90056 3.57676 3.7234 2.87869 3.72342.98861C3 0.400291 = \ "# 1BB76E \" / \ u003e \ u003c / svg \ u003e \ u003c / a \ u003e "،
contentPolicyHtml: "مساهمات المستخدم مرخصة بموجب \ u003ca href = \" https: //stackoverflow.com/help/licensing \ "\ u003ecc by-sa \ u003c / a \ u003e \ u003ca href = \" https://stackoverflow.com / legal / content-policy \ "\ u003e (سياسة المحتوى) \ u003c / a \ u003e" ،
allowUrls: صحيح
} ،
onDemand: صحيح ،
discardSelector: ".discard-answer"
، على الفور ، شووماركداونيلب: صحيح ، enableTables: صحيح ، enableSnippets: صحيح
}) ؛
}
}) ؛
نشكرك على المساهمة في إجابة Stack Overflow!
من فضلك تأكد من الإجابة على السؤال. قدم التفاصيل وشارك بأبحاثك!
لكن تجنب ...
طلب المساعدة أو التوضيح أو الرد على إجابات أخرى.
الإدلاء بتصريحات تستند إلى الرأي ؛ دعمهم بالمراجع أو الخبرة الشخصية.
لمعرفة المزيد ، راجع نصائحنا حول كتابة إجابات رائعة.
تم حفظ المسودة
تم تجاهل المسودة
الاشتراك أو تسجيل الدخول
StackExchange.ready (الوظيفة () {
StackExchange.helpers.onClickDraftSave ('# login-link') ؛
}) ؛
سجل باستخدام جوجل
قم بالتسجيل باستخدام Facebook
قم بالتسجيل باستخدام البريد الإلكتروني وكلمة المرور
إرسال
انشر كضيف
اسم
البريد الإلكتروني
مطلوب ، لكن لم يظهر قط
StackExchange. جاهز (
وظيفة () {
StackExchange.openid.initPostLogin ('new-post-login'، 'https٪ 3a٪ 2f٪ 2fstackoverflow.com٪ 2fquestions٪ 2f5935133٪ 2fprolog-how-to-remove-every-second-element-of-a-list٪ 23 إجابة جديدة '،' question_page ')؛
}
) ؛
انشر كضيف
اسم
البريد الإلكتروني
مطلوب ، لكن لم يظهر قط
انشر إجابتك
تجاهل
بالنقر فوق "نشر إجابتك" ، فإنك توافق على شروط الخدمة وسياسة الخصوصية وسياسة ملفات تعريف الارتباط
ليس الجواب الذي تبحث عنه؟ تصفح الأسئلة الأخرى الموسومة برولوج القائمة أو اطرح سؤالك الخاص.